Ralph Back: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Structured derivations: a unified proof style for teaching mathematics

Ralph-Johan Back

Journal:

Formal Aspects of Computing

Year:

2010

Language:

english

File:

PDF, 274 KB

english, 2010

2

Verification and code generation for invariant diagrams in Isabelle

Preoteasa, Viorel, Back, Ralph-Johan, Eriksson, Johannes

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 940 KB

english, 2015

3

Wildcat Valley Sandstone in Southwest Virginia--Possible Reservoir Sandstone

Ralph L. Miller (2), William Back (,

Journal:

Year:

1977

File:

PDF, 1.00 MB

1977

4

Construction of large-size interconnection networks with high performance

Hong Shen, Ralph-Johan Back

Journal:

Year:

1993

Language:

english

File:

PDF, 1.20 MB

english, 1993

5

Construction of large-size interconnection networks with high performance

Hong Shen, Ralph-Johan Back

Journal:

Microprocessing and Microprogramming

Year:

1992

Language:

english

File:

PDF, 626 KB

english, 1992

6

Data Refinement of Invariant Based Programs

Viorel Preoteasa, Ralph-Johan Back

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 791 KB

english, 2009

7

Beyond particle systems: Operator networks

Mauno Rönkkö, Marina Waldén, Ralph-Johan Back

Journal:

Simulation Modelling Practice and Theory

Year:

2008

Language:

english

File:

PDF, 1.25 MB

english, 2008

8

On equivalence-completions of fairness assumptions

Nissim Francez, Ralph -J. J. Back, Reino Kurki-Suonio

Journal:

Formal Aspects of Computing

Year:

1992

Language:

english

File:

PDF, 580 KB

english, 1992

9

Structured calculational proof

Ralph Back, Jim Grundy, Joakim von Wright

Journal:

Formal Aspects of Computing

Year:

1997

Language:

english

File:

PDF, 895 KB

english, 1997

10

An algebraic treatment of procedure refinement to support mechanical verification

Ralph-Johan Back, Viorel Preoteasa

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 195 KB

english, 2005

11

Invariant based programming: basic approach and teaching experiences

Ralph-Johan Back

Journal:

Formal Aspects of Computing

Year:

2009

Language:

english

File:

PDF, 835 KB

english, 2009

12

Invariant diagrams with data refinement

Viorel Preoteasa, Ralph-Johan Back

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 787 KB

english, 2012

13

Encoding, Decoding and Data Refinement

Ralph-Johan Back, Joakim von Wright

Journal:

Formal Aspects of Computing

Year:

2000

Language:

english

File:

PDF, 229 KB

english, 2000

14

Class Refinement as Semantics of Correct Object Substitutability

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright

Journal:

Formal Aspects of Computing

Year:

2000

Language:

english

File:

PDF, 236 KB

english, 2000

15

Refinement of fair action systems

Ralph J.R. Back, Qiwen Xu

Journal:

Acta Informatica

Year:

1998

Language:

english

File:

PDF, 243 KB

english, 1998

16

Fusion and simultaneous execution in the refinement calculus

Ralph-Johan Back, Michael Butler

Journal:

Acta Informatica

Year:

1998

Language:

english

File:

PDF, 163 KB

english, 1998

17

A simple mass-action model for the eukaryotic heat shock response and its mathematical validation

Ion Petre, Andrzej Mizera, Claire L. Hyder, Annika Meinander, Andrey Mikhailov, Richard I. Morimoto, Lea Sistonen, John E. Eriksson, Ralph-Johan Back

Journal:

Natural Computing

Year:

2011

Language:

english

File:

PDF, 642 KB

english, 2011

18

Contracts, Games, and Refinement

Ralph-Johan Back, Joakim von Wright

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 208 KB

english, 2000

19

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology XIII Volume 6575 ||

Priami, Corrado, Back, Ralph-Johan, Petre, Ion, de Vink, Erik

Year:

2011

Language:

english

File:

PDF, 4.37 MB

english, 2011

20

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology XI Volume 5750 ||

Priami, Corrado, Back, Ralph-Johan, Petre, Ion

Year:

2009

Language:

english

File:

PDF, 6.84 MB

english, 2009

21

National Research Co-ordinator

Preoteasa, Viorel, Back, Ralph-Johan, Eriksson, Johannes

Journal:

Australian College of Midwives Incorporated Journal

Year:

1994

Language:

english

File:

PDF, 101 KB

english, 1994

22

XLIV.?Quantitative reduction by hydriodic acid of halogenated malonyl derivatives. Part I. The amides and s.-di-alkyl- and- aryl-substituted amides of mono- and di-bromomalonic acid

Backes, John Valentine, West, Ralph Winton, Whiteley, Martha Annie

Journal:

Journal of the Chemical Society Transactions

Year:

1921

Language:

english

File:

PDF, 1.54 MB

english, 1921

23

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology XI Volume 5750 || Code, Context, and Epigenetic Catalysis in Gene Expression

Priami, Corrado, Back, Ralph-Johan, Petre, Ion

Year:

2009

Language:

english

File:

PDF, 574 KB

english, 2009

24

[IEEE Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. - Brno, Czech Republic (24-27 May 2004)] Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. - Contracts and games in controller synthesis for discrete systems

Ralph-Johan Back,, Seceleanu, C.C.

Year:

2004

Language:

english

File:

PDF, 327 KB

english, 2004

25

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology XI Volume 5750 || Computing Equilibrium Points of Genetic Regulatory Networks

Priami, Corrado, Back, Ralph-Johan, Petre, Ion

Year:

2009

Language:

english

File:

PDF, 239 KB

english, 2009

26

Refinement Calculus ||

Back, Ralph-Johan, Wright, Joakim

Year:

1998

Language:

english

File:

PDF, 34.45 MB

english, 1998

27

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology XI Volume 5750 || In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition

Priami, Corrado, Back, Ralph-Johan, Petre, Ion

Year:

2009

Language:

english

File:

PDF, 418 KB

english, 2009

28

[ACM Press the first international workshop - Morehampstead, Devon, United Kingdom (1987.05.13-1987.05.15)] Proceedings of the first international workshop on Real-time Ada issues - IRTAW '87 - A new paradigm for the design of concurrent systems

Back, Ralph, Kurki-Suonio, Reino

Year:

1987

Language:

english

File:

PDF, 231 KB

english, 1987

29

[ACM Press the 2003 workshop - Uppsala, Sweden (2003.08.26-..)] Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 - Reasoning about recursive procedures with parameters

Back, Ralph-Johan, Preoteasa, Viorel

Year:

2003

Language:

english

File:

PDF, 153 KB

english, 2003

30

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - Semantics and proof rules of invariant based programs

Back, Ralph-Johan, Preoteasa, Viorel

Year:

2011

Language:

english

File:

PDF, 585 KB

english, 2011

31

A new paradigm for the design of concurrent systems

Back, Ralph, Kurki-Suonio, Reino

Journal:

ACM SIGAda Ada Letters

Year:

1987

Language:

english

File:

PDF, 231 KB

english, 1987

32

Thyroid Acropachy

Kinsella, Ralph A., Back, Donald K.

Journal:

Medical Clinics of North America

Year:

1968

Language:

english

File:

PDF, 1.37 MB

english, 1968

33

Enriching and quantifying porous single layer 2D polymers by exfoliation of chemically modified van der Waals crystals

Lange, Ralph Z., Synnatschke, Kevin, Qi, Haoyuan, Huber, Niklas, Hofer, Gregor, Liang, Baokun, Huck, Christian, Pucci, Annemarie, Kaiser, Ute, Backes, Claudia, Schlüter, A. Dieter

Journal:

Angewandte Chemie International Edition

Year:

2019

File:

PDF, 2.00 MB

2019

34

Enriching and quantifying porous single layer 2D polymers by exfoliation of chemically modified van der Waals crystals

Lange, Ralph Z., Synnatschke, Kevin, Qi, Haoyuan, Huber, Niklas, Hofer, Gregor, Liang, Baokun, Huck, Christian, Pucci, Annemarie, Kaiser, Ute, Backes, Claudia, Schlüter, A. Dieter

Journal:

Angewandte Chemie

Year:

2019

File:

PDF, 2.00 MB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски